Some things do not exist.
نویسندگان
چکیده
منابع مشابه
Some Things Algorithms Cannot Do
A new, ‘behavioral’ theory of algorithms, intending to capture algorithms at their intended abstraction level, has been developed in this century in a series of papers by Y. Gurevich, A. Blass and others, motivated initially by the goal of establishing the ASM thesis. A viable theory of algorithms must have its limitative results, algorithms, however abstract, cannot do just anything. We establ...
متن کاملSome Things Must Not Change.
The past three months have been a season of tremendous change, and many of us have been surprised by the political events that have taken place. January heralds a change in administration for the United States, and the future seems uncertain. I sense that change is going to be the new normal, and we have to be able to cope with it-and with each other-for a long time. What I want to talk about i...
متن کاملThree-Way Systems Do Not Exist
We argue that argument encoding systems that seem to involve three syntactic core cases (nominative/absolutive, ergative, accusative) are actually common ergative or accusative systems syntactically, with overt case markers for each of the two cases that disappear in intransitive contexts. Based on evidence from Kham, Djapu, Nez Perce, Upriver Halkomelem, Dyirbal, and Pitjantjatjara, we show th...
متن کاملBalanced Distributed Search Trees Do Not Exist
This paper is a rst step towards an understanding of the inherent limitations of distributed data structures. We propose a model of distributed search trees that is based on few natural assumptions. We prove that any class of trees within our model satis es a lower bound of (pm) on the worst case height of distributed search trees for m keys. That is, unlike in the single site case, balance in ...
متن کاملDo not forget: coronary spasm does exist!
A 36-year old woman was proposed for urgent revascularization for severe left coronary disease with left main involvement diagnosed in the setting of acute coronary syndrome with ST-elevation. Considering the patient’s age and gender, coronariography was repeated under vasodilator therapy (Fig. 1, Supplementary Video 1 and 2). Coronary spasm was revealed. Supplementary material is available at ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1966
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093958620